Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
171	Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem True quantified Boolean formula Maximum satisfiability problem Model checking Conjunctive normal form Satisfiability Tseytin transformation
172	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Formally Specifying CARA in Java? Eugene W. Stark Department of Computer Science, State University of New York at Stony Brook, Stony Add to Reading List Source URL: bsd7.cs.sunysb.edu Language: English - Date: 2003-08-25 12:18:38 Formal methods Programming paradigms Cross-platform software Theoretical computer science Logic in computer science Infusion pump Model checking Formal verification Java Object-oriented programming Coupling Design by contract
173	Petri Nets 2014 & ACSD 2014 Tunis, Tunisia 23rd - 27th June INDEX Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2014-06-20 08:49:10 Petri nets Petri Model checking Wil van der Aalst
174	Practical Software Model Checking via Dynamic Interface Reduction Huayang Guo∗† Ming Wu† Lidong Zhou† Gang Hu∗† Junfeng Yang◦ Lintao Zhang† ∗ Tsinghua University Add to Reading List Source URL: www.sigops.org Language: English - Date: 2011-09-20 03:37:00 Concurrent programming languages Actor model Concurrent computing Phase transition Trace XC
175	Microsoft Word - Model view checking automated validation for IFC building models.doc Add to Reading List Source URL: bimserver.org Language: English - Date: 2014-10-06 09:10:41 Data modeling Building information modeling Industry Foundation Classes Data model Conceptual model Information model Type system EXPRESS Requirement
176	Bounded Model Checking of Pointer Programs W. Charatonik, L. Georgieva, P. Maier∗ MPI–I–2005–2–002 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-06-30 09:51:29 Symbol Substitution Econometrics Normal distribution Polar coordinate system
177	Program Chairs Malu Castellanos Ton Weijters Publication and coordination chair Manolo Carcia-Solaco Program Committee Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:44:40 Process management Diagrams Workflow technology Models of computation Process mining Concurrency Petri net Process modeling Conformance checking Business process management Business process modeling Conceptual model
178	Microsoft Word - f1488_1.doc Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software testing Formal methods Logic in computer science Theoretical computer science Program analysis Software verification Formal verification Static program analysis Model checking Requirement Device driver synthesis and verification Runtime verification
179	CONCURThe Benefits of Sometimes Not Being Discrete Jane Hillston LFCS, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-09-02 12:04:09 Process calculus Model checking Stochastic processes Models of computation Markov models
180	Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Software testing Concolic testing Symbolic execution Java Pathfinder KeY Random testing Model checking Satisfiability modulo theories Unit testing Type system White-box testing Fuzz testing

UPDATE